• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۲۳ پاسخ غیر تکراری از ۲۳ پاسخ تکراری در مدت زمان ۰,۶۷ ثانیه یافت شد.

1. Advances in Scientific Visualization

پدیدآورنده: edited by Frits H. Post, Andrea J.S. Hin.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer simulation.,Software engineering.

رده :
Q183
.
9
E358
1992
مشاهده در قفسه مجازی RIS Bibtex ISO

2. Agents for Games and Simulations I

پدیدآورنده: / edited by Frank Dignum

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer science.,Computer Communication Networks.,Software engineering.,Artificial intelligence.,Computer simulation.

رده :
RIS Bibtex ISO

3. Based Design-Cyber Physical Systems. Model

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer simulation. ; Software engineering. ; Computer network architectures. ; Computer science. ; Microprogramming. ; Simulation and Modeling. ;

رده :
RIS Bibtex ISO

4. Building Innovation Pipelines through Computer-Aided Innovation

پدیدآورنده: edited by Denis Cavallucci, Roland Guio, Gaetano Cascini.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.

رده :
RIS Bibtex ISO

5. Coloured Petri Nets :

پدیدآورنده: by Kurt Jensen.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer simulation.,Software engineering.

رده :
QA267
.
B958
1992
مشاهده در قفسه مجازی RIS Bibtex ISO

6. Computer Aided Systems Theory -- CAST '94 :

پدیدآورنده: edited by George J. Klir, Tuncer I. Ören.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer simulation.,Software engineering.

رده :
RIS Bibtex ISO

7. Concurrency, graphs and model

پدیدآورنده: / Pierpaolo Degano, Rocco De Nicola, Josae Meseguer (Eds.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Rewriting systems (Computer science),Software engineering.,Computer multitasking.,Computer simulation.,Computer software--Verification,Computer programming.

رده :
RIS Bibtex ISO

8. Cyber Physical Systems. Model-Based Design :

پدیدآورنده: edited by Roger Chamberlain, Walid Taha, Martin Törngren.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer network architectures.,Computer science.,Computer simulation.,Microprogramming.,Software engineering.,Cooperating objects (Computer systems)

رده :
QA76
.
9
.
C65
مشاهده در قفسه مجازی RIS Bibtex ISO

9. Die Computersimulation :

پدیدآورنده: von Franz-Josef Gaksch.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer simulation.,Software engineering.

رده :
TL152
.
5
V664
1989
مشاهده در قفسه مجازی RIS Bibtex ISO

10. Handbook of Conceptual Modeling :

پدیدآورنده: David W Embley

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer simulation.,Software engineering.

رده :
QA76
.
9
.
C65
D385
2011
مشاهده در قفسه مجازی RIS Bibtex ISO

11. Leveraging Applications of Formal Methods, Verification and Validation

پدیدآورنده: edited by Tiziana Margaria, Bernhard Steffen.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer simulation.,Computer system performance.,Software engineering.

رده :
RIS Bibtex ISO

12. Models in Software Engineering

پدیدآورنده: edited by Jörg Kienzle

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering

رده :
RIS Bibtex ISO

13. Neural network simulation environments

پدیدآورنده:

کتابخانه: کتابخانه و مرکز یادگیری دانشکده پزشکی (تهران)

موضوع: Neural networks(Computer science),Software engineering,Digital computer simulation

رده :
QA76
.
87
.
N477
1993
مشاهده در قفسه مجازی RIS Bibtex ISO

14. Neural network simulation environments

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Neural networks )Computer science(,، Software engineering,، Digital computer simulation

رده :
QA
76
.
87
.
N477
1994
مشاهده در قفسه مجازی RIS Bibtex ISO

15. Neural network simulation environments

پدیدآورنده: edited by Josef Skrzypek

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: ، Neural networks )Computer science(,، Software engineering,، Digital computer simulation

رده :
QA
76
.
87
.
N477
1994
مشاهده در قفسه مجازی RIS Bibtex ISO

16. Neural network simulation environments

پدیدآورنده: edited by Josef Skrzypek

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Neural networks )Computer science( , Software engineering , Digital computer simulation

رده :
QA
76
.
87
.
N477
1994
مشاهده در قفسه مجازی RIS Bibtex ISO

17. Object-oriented analysis and simulation

پدیدآورنده: Hill, David R. C.

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Object-oriented programming )Computer science( , Software engineering , Computer simulation , Object-oriented programming

رده :
QA
76
.
64
.
H55
1996
مشاهده در قفسه مجازی RIS Bibtex ISO

18. Reliability and Safety Assessment of Dynamic Process Systems

پدیدآورنده: edited by Tunc Aldemir, Nathan O. Siu, Ali Mosleh, P. Carlo Cacciabue, B. Gül Göktepe.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer simulation.,Engineering.,Memory management (Computer science).,Microprogramming.,Physics.,Software engineering.

رده :
RIS Bibtex ISO

19. Simulation and Model-Based Methodologies:

پدیدآورنده: edited by Tuncer I. Ören, Bernard P. Zeigler, Maurice S. Elzas.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer simulation.,Software engineering.

رده :
QA76
.
9
.
C65
E358
1984
مشاهده در قفسه مجازی RIS Bibtex ISO

20. Tests and Proofs

پدیدآورنده: edited by Achim D. Brucker, Jacques Julliand

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering

رده :
RIS Bibtex ISO
  • »
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال